New axioms for mereology.
نویسندگان
چکیده
منابع مشابه
natural axioms for classical mereology
We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated.The equivalence of our axiom systemwith other, more familiar systems is established by purely deductivemethods, along with additional results on the relative strengths of the composition and decomposition axioms of each theor...
متن کاملThe Search for New Axioms
The independence results in set theory invite the search for new and justified axioms. In Chapter 1 I set the stage by examining three approaches to justifying the axioms of standard set theory (stage theory, Godel's approach, and reflection principles) and argue that the approach via reflection principles is the most successful. In Chapter 2 I analyse the limitations of ZF and use this analysi...
متن کاملMereology and Rough Mereology: Rough Mereological Granulation
In this chapter, we embark on a more specific granulation theory, stemming from the mereological theory of things. This mechanism provides us with tolerance and weak tolerance relations forming a graded similarity in the sense of Chap.1 and with resulting therefrom granules. To put the necessary notions in a proper order, we are going to discuss mereology, rough mereology and the mereological g...
متن کاملContext Mereology
We show that under a small number of assumptions, it is possible to interpret truth in a context as a quantification over truth in 'atomic' or pointlike contexts, which are transparent to all the connectives. We discuss the necessary assumptions and suggest conditions under which they are intuitively reasonable. Introduction This note is inspired by the context logic originally introduced by J....
متن کاملThe search for new Mathematical axioms
cu lty R es ea rc h N ew sl et te r 4 that lie on the circle and take only the ones inside it. Given points P and Q in our space, the "line through P and Q" is interpreted as the arc of the circle through P and Q that intersects C at right angles (see Figure 1). With these interpretations of the words "point" and "line", it can be shown that the fifth postulate fails because given a line L and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1985
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870935